Relaxing in Foam
نویسندگان
چکیده
منابع مشابه
Relaxing stratification
A number of ways of relaxing the stratification constraint for the axioms of Quine’s NF are reviewed. It is shown how most of them result in
متن کاملRelaxing Causal Constraints in PDES
One of the major overheads that prohibits the wide spread deployment of parallel discrete event simulation (PDES) is the need to synchronize the distributed processes in the simulation. Considerable investigations have been conducted to analyze and optimize the two widely used synchronization strategies, namely the conservative and the optimistic simulation paradigms. However, little attention ...
متن کاملRelaxing the Value Restriction
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advantages over previous approaches, it forbids polymorphism in many cases where it would be sound. We use a subtyping based approach to recover part of this lost polymorphism, without changing the type algebra itself, and t...
متن کاملRelaxing Chosen-Ciphertext Security
Security against adaptive chosen ciphertext attacks (or, CCA security) has been accepted as the standard requirement from encryption schemes that need to withstand active attacks. In particular, it is regarded as the appropriate security notion for encryption schemes used as components within general protocols and applications. Indeed, CCA security was shown to suffice in a large variety of con...
متن کاملRelaxing-Precessional Magnetization Switching
A new way of magnetization switching employing both the spin-transfer torque and the torque by a magnetic field is proposed. The solution of the Landau-Lifshitz-Gilbert equation shows that the dynamics of the magnetization in the initial stage of the switching is similar to that in the precessional switching, while that in the final stage is rather similar to the relaxing switching. We call the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review Letters
سال: 2003
ISSN: 0031-9007,1079-7114
DOI: 10.1103/physrevlett.91.188303